Ben oder die Wolkenpumpe
(Original title)