Hamburg Rmk 100 & gt;