” Ha , ha , ha ! ” skrattade portieren.