Comment by eigenspace

For North Americans reading this, the "first floor" is not the ground floor in the Netherlands (where Eindhoven is)-- they count floors from zero.