Wie teuer war der herrentunnel?