Using a heat pump to heat up a house: How much energy do you have to pay in order to add 100 J of heat to the inside of a house with a heat pump