( Schinkelfla huset ).